$\forall$$A$:Type, $a$, $b$:$A$, ${\it as}$, ${\it bs}$:$A$ List. ($a$.${\it as}$) $=$ ($b$.${\it bs}$) $\Rightarrow$ $a$ $=$ $b$